#include "gd32l23x.h"
#include "DevicesWatchDog.h"


void vWatchdogInit(void)
{
    /* confiure FWDGT counter clock: 32KHz(IRC32K) / 256 = 0.125 KHz */
    fwdgt_config(1250, FWDGT_PSC_DIV256);

    fwdgt_enable();
}

void vWatchdogReload(void)
{
    /* reload the counter of FWDGT */
    fwdgt_counter_reload();
}
